C2^4.116D4 - GroupNames

G = C₂⁴.₁₁₆D₄ order 128 = 2⁷

71^st non-split extension by C₂⁴ of D₄ acting via D₄/C₂=C₂²

p-group, metabelian, nilpotent (class 3), monomial

Aliases: C₂⁴.₁₁₆D₄, C₄.Q₈⋊₈C₂², (C₂×C₈).₃₃C₂³, C₂.D₈⋊₁₉C₂², C₄⋊C₄.₃₉₁C₂³, (C₂×C₄).₂₉₁C₂⁴, C₂⁴.₄C₄⋊₈C₂, (C₂×D₄).₈₀C₂³, C₂³.₂₄₂(C₂×D₄), (C₂²×C₄).₄₄₂D₄, (C₂×Q₈).₆₈C₂³, D₄⋊C₄⋊₁₉C₂², Q₈⋊C₄⋊₂₁C₂², C₂²⋊C₈.₁₅C₂², M₄(2)⋊C₄⋊₂₃C₂, C₂³.₃₆D₄⋊₁₀C₂, C₂³.₁₉D₄⋊₁₂C₂, C₂³.₂₀D₄⋊₁₂C₂, C₄⋊D₄.₁₅₆C₂², (C₂³×C₄).₅₆₁C₂², C₂².₅₅₁(C₂²×D₄), C₂²⋊Q₈.₁₆₁C₂², C₂.₂₂(D₈⋊C₂²), (C₂²×C₄).₁₀₀₇C₂³, C₂².₁₉C₂⁴.₁₉C₂, (C₂×M₄(2)).₇₃C₂², C₄²⋊C₂.₃₁₇C₂², C₄.₁₂₇(C₂².D₄), C₂².₄₁(C₂².D₄), C₄.₁₀₁(C₂×C₄○D₄), (C₂×C₄).₁₂₁₈(C₂×D₄), (C₂×C₄²⋊C₂)⋊₄₆C₂, (C₂×C₄).₄₈₆(C₄○D₄), (C₂×C₄⋊C₄).₉₂₈C₂², (C₂×C₄○D₄).₁₃₈C₂², C₂.₅₆(C₂×C₂².D₄), SmallGroup(128,1825)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂×C₄ — C₂⁴.₁₁₆D₄

Chief series

C₁ — C₂ — C₄ — C₂×C₄ — C₂²×C₄ — C₂×C₄⋊C₄ — C₂×C₄²⋊C₂ — C₂⁴.₁₁₆D₄

Lower central

C₁ — C₂ — C₂×C₄ — C₂⁴.₁₁₆D₄

Upper central

C₁ — C₂² — C₂³×C₄ — C₂⁴.₁₁₆D₄

Jennings

C₁ — C₂ — C₂ — C₂×C₄ — C₂⁴.₁₁₆D₄

Generators and relations for C₂⁴.₁₁₆D₄
G = < a,b,c,d,e,f | a²=b²=c²=d²=f²=1, e⁴=d, ab=ba, eae^-1=ac=ca, ad=da, faf=acd, bc=cb, ebe^-1=fbf=bd=db, cd=dc, ce=ec, cf=fc, de=ed, df=fd, fef=cde³ >

Subgroups: 388 in 207 conjugacy classes, 92 normal (18 characteristic)
C₁, C₂, C₂, C₂, C₄, C₄, C₂², C₂², C₂², C₈, C₂×C₄, C₂×C₄, C₂×C₄, D₄, Q₈, C₂³, C₂³, C₂³, C₄², C₂²⋊C₄, C₄⋊C₄, C₄⋊C₄, C₂×C₈, M₄(2), C₂²×C₄, C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×D₄, C₂×Q₈, C₄○D₄, C₂⁴, C₂²⋊C₈, D₄⋊C₄, Q₈⋊C₄, C₄.Q₈, C₂.D₈, C₂×C₄², C₂×C₂²⋊C₄, C₂×C₄⋊C₄, C₄²⋊C₂, C₄²⋊C₂, C₄²⋊C₂, C₄×D₄, C₂²≀C₂, C₄⋊D₄, C₂²⋊Q₈, C₂².D₄, C₂×M₄(2), C₂³×C₄, C₂×C₄○D₄, C₂⁴.₄C₄, C₂³.₃₆D₄, M₄(2)⋊C₄, C₂³.₁₉D₄, C₂³.₂₀D₄, C₂×C₄²⋊C₂, C₂².₁₉C₂⁴, C₂⁴.₁₁₆D₄
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂×D₄, C₄○D₄, C₂⁴, C₂².D₄, C₂²×D₄, C₂×C₄○D₄, C₂×C₂².D₄, D₈⋊C₂², C₂⁴.₁₁₆D₄

Smallest permutation representation of C₂⁴.₁₁₆D₄
►On 32 points

Generators in S₃₂

(2 29)(4 31)(6 25)(8 27)(9 18)(10 14)(11 20)(12 16)(13 22)(15 24)(17 21)(19 23)

(1 28)(2 25)(3 30)(4 27)(5 32)(6 29)(7 26)(8 31)(9 18)(10 23)(11 20)(12 17)(13 22)(14 19)(15 24)(16 21)

(1 28)(2 29)(3 30)(4 31)(5 32)(6 25)(7 26)(8 27)(9 22)(10 23)(11 24)(12 17)(13 18)(14 19)(15 20)(16 21)

(1 5)(2 6)(3 7)(4 8)(9 13)(10 14)(11 15)(12 16)(17 21)(18 22)(19 23)(20 24)(25 29)(26 30)(27 31)(28 32)

(1 2 3 4 5 6 7 8)(9 10 11 12 13 14 15 16)(17 18 19 20 21 22 23 24)(25 26 27 28 29 30 31 32)

(1 22)(2 16)(3 20)(4 14)(5 18)(6 12)(7 24)(8 10)(9 28)(11 26)(13 32)(15 30)(17 25)(19 31)(21 29)(23 27)

G:=sub<Sym(32)| (2,29)(4,31)(6,25)(8,27)(9,18)(10,14)(11,20)(12,16)(13,22)(15,24)(17,21)(19,23), (1,28)(2,25)(3,30)(4,27)(5,32)(6,29)(7,26)(8,31)(9,18)(10,23)(11,20)(12,17)(13,22)(14,19)(15,24)(16,21), (1,28)(2,29)(3,30)(4,31)(5,32)(6,25)(7,26)(8,27)(9,22)(10,23)(11,24)(12,17)(13,18)(14,19)(15,20)(16,21), (1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16)(17,21)(18,22)(19,23)(20,24)(25,29)(26,30)(27,31)(28,32), (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32), (1,22)(2,16)(3,20)(4,14)(5,18)(6,12)(7,24)(8,10)(9,28)(11,26)(13,32)(15,30)(17,25)(19,31)(21,29)(23,27)>;

G:=Group( (2,29)(4,31)(6,25)(8,27)(9,18)(10,14)(11,20)(12,16)(13,22)(15,24)(17,21)(19,23), (1,28)(2,25)(3,30)(4,27)(5,32)(6,29)(7,26)(8,31)(9,18)(10,23)(11,20)(12,17)(13,22)(14,19)(15,24)(16,21), (1,28)(2,29)(3,30)(4,31)(5,32)(6,25)(7,26)(8,27)(9,22)(10,23)(11,24)(12,17)(13,18)(14,19)(15,20)(16,21), (1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16)(17,21)(18,22)(19,23)(20,24)(25,29)(26,30)(27,31)(28,32), (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32), (1,22)(2,16)(3,20)(4,14)(5,18)(6,12)(7,24)(8,10)(9,28)(11,26)(13,32)(15,30)(17,25)(19,31)(21,29)(23,27) );

G=PermutationGroup([[(2,29),(4,31),(6,25),(8,27),(9,18),(10,14),(11,20),(12,16),(13,22),(15,24),(17,21),(19,23)], [(1,28),(2,25),(3,30),(4,27),(5,32),(6,29),(7,26),(8,31),(9,18),(10,23),(11,20),(12,17),(13,22),(14,19),(15,24),(16,21)], [(1,28),(2,29),(3,30),(4,31),(5,32),(6,25),(7,26),(8,27),(9,22),(10,23),(11,24),(12,17),(13,18),(14,19),(15,20),(16,21)], [(1,5),(2,6),(3,7),(4,8),(9,13),(10,14),(11,15),(12,16),(17,21),(18,22),(19,23),(20,24),(25,29),(26,30),(27,31),(28,32)], [(1,2,3,4,5,6,7,8),(9,10,11,12,13,14,15,16),(17,18,19,20,21,22,23,24),(25,26,27,28,29,30,31,32)], [(1,22),(2,16),(3,20),(4,14),(5,18),(6,12),(7,24),(8,10),(9,28),(11,26),(13,32),(15,30),(17,25),(19,31),(21,29),(23,27)]])

32 conjugacy classes

class	1	2A	2B	2C	2D	2E	2F	2G	2H	4A	···	4H	4I	···	4P	4Q	4R	4S	8A	8B	8C	8D
order	1	2	2	2	2	2	2	2	2	4	···	4	4	···	4	4	4	4	8	8	8	8
size	1	1	1	1	2	2	4	4	8	2	···	2	4	···	4	8	8	8	8	8	8	8

32 irreducible representations

dim

type

image

C₁

C₂

D₄

C₄○D₄

D₈⋊C₂²

kernel

C₂⁴.₁₁₆D₄

C₂⁴.₄C₄

C₂³.₃₆D₄

M₄(2)⋊C₄

C₂³.₁₉D₄

C₂³.₂₀D₄

C₂×C₄²⋊C₂

C₂².₁₉C₂⁴

C₂²×C₄

C₂⁴

C₂×C₄

C₂

# reps

Matrix representation of C₂⁴.₁₁₆D₄ ►in GL₆(𝔽₁₇)

1	0	0	0	0	0
0	16	0	0	0	0
0	0	1	0	0	0
0	0	0	16	0	1
0	0	0	0	16	16
0	0	0	0	0	1

1	0	0	0	0	0
0	1	0	0	0	0
0	0	1	0	0	1
0	0	0	1	0	16
0	0	0	0	16	0
0	0	0	0	0	16

16	0	0	0	0	0
0	16	0	0	0	0
0	0	1	0	0	0
0	0	0	1	0	0
0	0	0	0	1	0
0	0	0	0	0	1

1	0	0	0	0	0
0	1	0	0	0	0
0	0	16	0	0	0
0	0	0	16	0	0
0	0	0	0	16	0
0	0	0	0	0	16

0	4	0	0	0	0
4	0	0	0	0	0
0	0	4	0	0	10
0	0	13	0	1	7
0	0	4	13	0	4
0	0	9	0	0	13

0	16	0	0	0	0
16	0	0	0	0	0
0	0	0	1	1	0
0	0	0	16	0	0
0	0	1	1	0	0
0	0	0	15	0	1

G:=sub<GL(6,GF(17))| [1,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,0,0,0,0,16,0,0,0,0,1,16,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,0,1,16,0,16],[16,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,0,0,0,0,16,0,0,0,0,0,0,16,0,0,0,0,0,0,16],[0,4,0,0,0,0,4,0,0,0,0,0,0,0,4,13,4,9,0,0,0,0,13,0,0,0,0,1,0,0,0,0,10,7,4,13],[0,16,0,0,0,0,16,0,0,0,0,0,0,0,0,0,1,0,0,0,1,16,1,15,0,0,1,0,0,0,0,0,0,0,0,1] >;

C₂⁴.₁₁₆D₄ in GAP, Magma, Sage, TeX

C_2^4._{116}D_4

% in TeX

G:=Group("C2^4.116D4");

// GroupNames label

G:=SmallGroup(128,1825);

// by ID

G=gap.SmallGroup(128,1825);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,-2,253,456,758,100,2019,4037,1027,124]);

// Polycyclic

G:=Group<a,b,c,d,e,f|a^2=b^2=c^2=d^2=f^2=1,e^4=d,a*b=b*a,e*a*e^-1=a*c=c*a,a*d=d*a,f*a*f=a*c*d,b*c=c*b,e*b*e^-1=f*b*f=b*d=d*b,c*d=d*c,c*e=e*c,c*f=f*c,d*e=e*d,d*f=f*d,f*e*f=c*d*e^3>;

// generators/relations

G = C24.116D4 order 128 = 27

71st non-split extension by C24 of D4 acting via D4/C2=C22

G = C₂⁴.₁₁₆D₄ order 128 = 2⁷

71^st non-split extension by C₂⁴ of D₄ acting via D₄/C₂=C₂²